منابع مشابه
Closure Properties of Ordered Languages
In this note, we solve questions regarding closure properties of ordered languages. Especially, ordered languages form a full abstract family of recursive languages which is neither intersection-nor complementation-closed.
متن کاملClosure Properties of Minimalist Derivation Tree Languages
Recently, the question has been raised whether the derivation tree languages of Minimalist grammars (MGs; [14, 16]) are closed under intersection with regular tree languages [4, 5]. Using a variation of a proof technique devised by Thatcher [17], I show that even though closure under intersection does not obtain, it holds for every MG and regular tree language that their intersection is identic...
متن کاملClosure properties of locally finite omega-languages
Locally finite ω-languages, defined via second order quantifications followed by a first order locally finite sentence, were introduced by Ressayre in [Res88]. They enjoy very nice properties and extend ω-languages accepted by finite automata or defined by monadic second order sentences. We study here closure properties of the family LOCω of locally finite omega languages. In particular we show...
متن کاملProperties of Slender Rings
Slender rings and their products are characterized in terms of algebraic and topological properties. Possible limitations on uncountable products of such rings are discussed. Ring, module, and topological terminology and notation are standard. R denotes a unital ring with identity 1, and R ω denotes its countable product, that is, the set of all sequences of elements of R. Of course ω {0, 1,. ....
متن کاملA Note on Slender 0l Languages
We give a complete proof of Theorem 3.1 in [2]. A pathological exception of Theorem 4.3 in [2] is exhibited and a condition to remove it is mentioned. TUCS Research Group Mathematical Structures of Computer Science
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1993
ISSN: 0304-3975
DOI: 10.1016/0304-3975(93)90293-3